overview: Add public API to add search providers

Add a addSearchProvider() method, so extensions don't have to access the
view selector directly, which is now a private property of the overview.

https://bugzilla.gnome.org/show_bug.cgi?id=658113

diff --git a/js/ui/overview.js b/js/ui/overview.js
index bb050e3b7ca639dee452f922971eb04b862014e5..6b36771c9a67771e0846266a25acccc0e6f67532 100644 (file)
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -208,11 +208,11 @@ Overview.prototype = {
         this._viewSelector.addViewTab('applications', _("Applications"), appView.actor, 'system-run');
 
         // Default search providers
-        this._viewSelector.addSearchProvider(new AppDisplay.AppSearchProvider());
-        this._viewSelector.addSearchProvider(new AppDisplay.SettingsSearchProvider());
-        this._viewSelector.addSearchProvider(new PlaceDisplay.PlaceSearchProvider());
-        this._viewSelector.addSearchProvider(new DocDisplay.DocSearchProvider());
-        this._viewSelector.addSearchProvider(new ContactDisplay.ContactSearchProvider());
+        this.addSearchProvider(new AppDisplay.AppSearchProvider());
+        this.addSearchProvider(new AppDisplay.SettingsSearchProvider());
+        this.addSearchProvider(new PlaceDisplay.PlaceSearchProvider());
+        this.addSearchProvider(new DocDisplay.DocSearchProvider());
+        this.addSearchProvider(new ContactDisplay.ContactSearchProvider());
 
         // TODO - recalculate everything when desktop size changes
         this._dash = new Dash.Dash();
@@ -233,6 +233,10 @@ Overview.prototype = {
         this._relayout();
     },
 
+    addSearchProvider: function(provider) {
+        this._viewSelector.addSearchProvider(provider);
+    },
+
     setMessage: function(text, undoCallback, undoLabel) {
         if (this.isDummy)
             return;